Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
41	A Multiple Security Domain Model of a Drive-by-Wire System Add to Reading List Source URL: cs.mst.edu Language: English - Date: 2015-04-03 16:07:48 Security Logic Non-classical logic Philosophical logic Planar graphs Platonic solids W5 Cyber-physical system Computer security Modal logic Symbol Regular icosahedron
42	Evolutionary Fuzzy Rule Acquisition for Playing Ms.PacMan Hisashi Handa, Member, IEEE, Maiko Isozaki Abstract— This short description is written for the Ms.PacMan competition in CEC2007, held in Singapore. First, instr Add to Reading List Source URL: cswww.essex.ac.uk Language: English - Date: 2007-09-14 12:47:49 Software Gaming Fuzzy logic Classes of computers Artificial intelligence Logic in computer science Non-classical logic Membership function Pac-Man Fuzzy rule Ghosts
43	PASS 2009.book(12.Field.fm) Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2009-08-30 15:23:37 Philosophical logic Epistemology Non-classical logic Belief Reasoning Paraconsistent logic Rationality Modal logic Reason Contradiction Argument Logic
44	Properties of Intuitionistic Provability LogicsRosalie Iemhoff Dick de Jongh Chunlai Zhou Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:46:31 Modal logic Model theory Non-classical logic Philosophical logic Proof theory Normal modal logic First-order logic Propositional calculus Provability logic Mathematical logic Interpretation Modal companion
45	M ODAL C OMPARISONS : T WO D ILLETANTES IN S EARCH OF AN E XPERT⇤ K AI VON F INTEL AND A NGELIKA K RATZER Massachusetts Institute of Technology and University of Massachusetts at Amherst Abstract We express our puzzlem Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2014-10-22 03:26:10 Comparative Grammar Non-classical logic Philosophical logic Modal logic Comparison Adjective Metalinguistics
46	An improper introduction to epistemic utility theory Richard Pettigrew If Paul believes that Linda is a bank teller and a political activist more strongly than he believes that she is a bank teller, we judge him irration Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Decision theory Non-classical logic Modal logic Modality Philosophical logic Catholic probabilism Theory of justification Reason Expected utility hypothesis Utility Epistemology
47	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
48	[To Appear in the SIGGRAPH 94 Conference Proceedings] TBAG: A High Level Framework for Interactive, Animated 3D Graphics Applications Conal Elliott, Greg Schechter, Ricky Yeung, and Salim Abi-Ezzi SunSoft, Inc. * Add to Reading List Source URL: conal.net Language: English - Date: 2006-01-18 15:03:30 Operations research Classical mechanics Constraint satisfaction Energy minimization Mathematical optimization Derivative Control theory Constraint programming Constraint Generalizations of the derivative Loop quantum gravity Constraint logic programming
49	Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-01-11 07:50:10 Proof theory Non-classical logic Model theory Philosophical logic Deductive reasoning Sequent Cut-elimination theorem Soundness Linear logic Propositional calculus First-order logic Rule of inference
50	Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Non-classical logic Philosophical logic Model theory Mathematical logic Logical connectives Saul Kripke Modal logic First-order logic Truth function Negation Logic Liar paradox